Mine explosions